321. Purity, spectra and localisation /
پدیدآورنده: Mike Prest
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Categories (Mathematics),Logic, Symbolic and mathematical
رده :
QA150
.
P74
2009


322. Quantum Measures and Spaces
پدیدآورنده: by Gudrun Kalmbach.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Algebra.,Logic, Symbolic and mathematical.,Mathematics.

323. Random Sets
پدیدآورنده: edited by John Goutsias, Ronald P. S. Mahler, Hung T. Nguyen.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Distribution (Probability theory).,Logic, Symbolic and mathematical.,Mathematics.

324. Reading, Writing, and Proving :
پدیدآورنده: by Ulrich Daepp, Pamela Gorkin.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Global analysis (Mathematics),Logic, Symbolic and mathematical.,Mathematics.,Number theory.,Mathematical Logic and Foundations.,Mathematics.,Number Theory.,Analysis.,Global analysis (Mathematics),Logic, Symbolic and mathematical.,Mathematics.,Number theory.
رده :
QA8
.
9-10
.
3


325. Recent Advances in Applications of Computational and Fuzzy Mathematics /
پدیدآورنده: Snehashish Chakraverty, Sanjeewa Perera, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Fuzzy logic.,Logic, Symbolic and mathematical.,Mathematics.,Fuzzy logic.,Logic, Symbolic and mathematical.,MATHEMATICS-- General.,Mathematics.
رده :
QA9
.
64


326. Reflections on the foundations of mathematics : essays in honor of Solomon Feferman
پدیدآورنده: edited by Wilfried Sieg, Richard Sommer, Carolyn Talcott
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematics -- Philosophy
رده :
QA
9
.
A1L44
Vol
.
15


327. Remarques philosophiques, Edition posthume Due Aux soins de Rush Rhees Traduit de L'Allemand
پدیدآورنده: / Par Jacques Fauve
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع: Semantics (philosophy),Logic, Symbolic and mathematical,Mathematics - Philosophy
رده :
149
.
94
Wi-R


328. Semi-Markov Models and Applications
پدیدآورنده: edited by Jacques Janssen, Nikolaos Limnios.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Logic, Symbolic and mathematical.,Mathematics.,Number theory.,Statistics.,Systems theory.

329. Semirings and Affine Equations over Them: Theory and Applications
پدیدآورنده: by Jonathan S. Golan.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Algebra.,Computational complexity.,Logic, Symbolic and mathematical.,Mathematical optimization.,Mathematics.

330. Semirings and their Applications
پدیدآورنده: by Jonathan S. Golan.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Algebra.,Computational complexity.,Logic, Symbolic and mathematical.,Mathematical optimization.,Mathematics.

331. Serial Rings
پدیدآورنده: by Gennadi Puninski.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Algebra.,Logic, Symbolic and mathematical.,Mathematics.

332. Set Theory
پدیدآورنده: edited by Carlos Augusto Prisco, Jean A. Larson, Joan Bagaria, A. R. D. Mathias.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Global analysis (Mathematics).,Logic, Symbolic and mathematical.,Mathematics.,Topology.

333. Sets, logic and categories
پدیدآورنده: Cameron, Peter Jephson
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Set theory,، Logic, Symbolic and mathematical,، Categories )Mathematics(
رده :
QA
248
.
C17
1999


334. Sets, logic, and categories
پدیدآورنده: Cameron, Peter Jephson
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: ، Set theory,، Logic, Symbolic and mathematical,، Categories )Mathematics(
رده :
QA
248
.
C17
1999


335. Sets, logic, and categories
پدیدآورنده : Cameron, Peter J. )Peter Jephson(
موضوع : ، Set theory,، Logic, Symbolic and mathematical,، Categories )Mathematics(
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
336. Sets, logic and categories
پدیدآورنده: Cameron, Peter Jephson, 7491-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Set theory,، Logic, Symbolic and mathematical,، Categories )Mathematics(
رده :
QA
248
.
C25S4


337. Sets, logic, and categories
پدیدآورنده: Cameron, Peter J.)Peter Jephson(
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Set theory,، Logic, Symbolic and mathematical,، Categories )Mathematics(
رده :
QA
248
.
C17
1998


338. Sets, logic, and categories
پدیدآورنده: Cameron, Peter Jephson
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی شاهرود (سمنان)
موضوع: ، Set theory,، Logic, Symbolic and mathematical,، Categories )Mathematics(
رده :
QA
248
.
C3S4


339. Special Topics in Mathematics for Computer Scientists
پدیدآورنده: \ Ernst-Erich Doberkat
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer science,Logic, symbolic and mathematical,کامپیوتر,منطق ریاضی,a04,a05,a04,a05,Computer science -- Mathematics.,علوم کامپیوتر -- ریاضیات
رده :
QA
76
.
9
..
M35S6
2015
E-Book
,


340. Strukturtypen der Logik
پدیدآورنده: von Wolfgang Stegmüller, Matthias Varga Kibéd.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Logic, Symbolic and mathematical.,Mathematics.
رده :
QA9
.
V669
1984

